Encapsulation theory fundamentals
نویسنده
چکیده
This paper proposes a theory of encapsulation, establishing a relationship between encapsulation and information hiding through the concept of potential structural complexity (P.S.C.), the maximum possible number of source code dependencies that can exist between program units in a software system. The P.S.C. of various, simple systems is examined in an attempt to demonstrate how P.S.C. changes as program units are encapsulated among different configurations of subsystems.
منابع مشابه
Carotenoid Pigments Encapsulation: Fundamentals, Techniques and Recent Trends
Supercritical fluids have become an attractive alternative due to environmentally friendly solvents. The methods that use supercritical fluids can be conveniently used for various applications such as extraction, reactions, particle formation and encapsulation. For encapsulation purposes, the processing conditions given by supercritical technology have important advantages over other methods th...
متن کاملProtein Nanoparticle as a Versatile Drug Delivery System in Nanotechnology
Protein nanoparticles are extensively investigated as versatile drug delivery systems, due to their nanoscale size, container-like shape, natural source, biocompatibility, and biodegradability. They provide three distinct interfaces: internal, external, and inter-subunit interfaces for modifications. Chemistry and genetic engineering provide powerful tools to functionalize protein nanoparticles...
متن کاملA Logic for Encapsulation in Object-Oriented Languages
We present a logic language with encapsulation based on an object-oriented data model. We give a formal account of the semantics of this language by defining a proof theory, a model theory and a fixed point theory. We also show that the different characterizations of the semantics are equivalent. We then study the logical foundations of encapsulation by introducing a mapping from our language t...
متن کاملA Logic for Encapsulation in Object Oriented
We present a logic language with encapsulation based on an object-oriented data model. We give a formal account of the semantics of this language by deening a proof theory, a model theory and a xed point theory. We also show that the diierent characterizations of the semantics are equivalent. We then study the logical foundations of encapsulation by introducing a mapping from our language to a ...
متن کاملFundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings
A solution to get the problem off, have you found it? Really? What kind of solution do you resolve the problem? From what sources? Well, there are so many questions that we utter every day. No matter how you will get the solution, it will mean better. You can take the reference from some books. And the fundamentals of computation theory 18th international symposium fct 2011 oslo norway august 2...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/0807.4224 شماره
صفحات -
تاریخ انتشار 2008